proof of spanning set